Técnicas de controlo não-linear baseadas em Redes Neuronais: do algoritmo à implementação

O presente trabalho analisa soluções de controlo não-linear baseadas em Redes Neuronais e apresenta a sua aplicação a um caso prático, desde o algoritmo de treino até à implementação física em hardware. O estudo inicial do estado da arte da utilização das Redes Neuronais para o controlo leva à proposta de soluções iterativas para a definição da arquitectura das mesmas e para o estudo das técnicas de Regularização e Paragem de Treino Antecipada, através dos Algoritmos Genéticos e à proposta de uma forma de validação dos modelos obtidos. Ao longo da tese são utilizadas quatro malhas para o controlo baseado em modelos, uma das quais uma contribuição original, e é implementado um processo de identificação on-line, tendo por base o algoritmo de treino Levenberg-Marquardt e a técnica de Paragem de Treino Antecipada que permite o controlo de um sistema, sem necessidade de recorrer ao conhecimento prévio das suas características. O trabalho é finalizado com um estudo do hardware comercial disponível para a implementação de Redes Neuronais e com o desenvolvimento de uma solução de hardware utilizando uma FPGA. De referir que o trabalho prático de teste das soluções apresentadas é realizado com dados reais provenientes de um forno eléctrico de escala reduzida.

Avaliação de recursos genéticos agrícolas: análise nutricional e anti-nutricional de variedades regionais de feijão (Phaseolus vulgaris L.)

O presente trabalho teve como objectivo proceder à avaliação da qualidade nutricional de 20 variedades regionais de Phaseolus vulgaris L. e à análise comparativa dos parâmetros bioquímicos (nutricionais e anti-nutricionais) obtidos recorrendo às técnicas analíticas convencionais por química molhada e de NIRS (Near Infra-Red Spectroscopy). Uma tipificação das variedades regionais de feijão foi realizada recorrendo a sete parâmetros ou caracteres (traits) nutricionais compreendidos em humidade, proteína bruta, lípidos totais, açúcares solúveis, amido, cinzas e minerais. A faseolamina foi incluída na tipificação do feijão como parâmetro anti-nutricional enquanto inibidor de enzimas digestivas. A variedade que apresentou uma melhor qualidade nutricional foi o feijão vermelho (ISOP 00724), enquanto que o feijão Filipe (ISOP 00478) apresentou uma maior actividade inibitória da PPA (amilase do pâncreas suíno), contribuindo de igual forma como uma característica de qualidade deste feijão. A aplicação de técnicas de quimiometria na quantificação dos vários parâmetros de qualidade nutricional, através da técnica de NIRS, permitiu o desenvolvimento dos modelos PLS globais após a colecção dos valores de referência e obtenção dos respectivos espectros de cada ISOP em análise. A análise comparativa dos parâmetros nutricionais, recorrendo às técnicas analíticas convencionais por química molhada e de NIRS, permitiu relacionar os parâmetros cinzas e proteína bruta como os principais critérios nutricionais para distinção das variedades regionais quanto à sua qualidade, ao diferirem significativamente relativamente aos parâmetros restantes. A partir destas duas técnicas, conclui-se que a espectroscopia NIR associada a técnicas de análise multivariada consegue quantificar os parâmetros em estudo, permitindo distinguir amostras das variedades regionais, quanto às suas características nutricionais, exigindo uma preparação reduzida da amostra, com consequente custo de análise muito reduzido. Este trabalho representou o início de uma base de fenotipagem a partir de caracteres nutricionais, estabelecendo-se um perfil das variedades regionais de feijão e avaliação da importância dos caracteres na sua distinção e tipagem.

Medidas da complexidade da estrutura de algoritmos codificados em C

Nesta dissertação defendemos uma forma nova de medir o produto de software com base nas medidas usadas na teoria dos sistemas complexos. Consideramos o uso dessas medidas vantajoso em relação ao uso das medidas tradicionais da engenharia de software. A inovação desta dissertação sintetiza-se em considerar o produto de software como um sistema complexo, dotado de uma estrutura que comporta vários níveis e na proposta da correlação de gama longa como medida da complexidade de estrutura de programas fontes. Essa medida, invariante para a escala de cada nível da estrutura, pode ser calculada automaticamente. Na dissertação, primeiro descrevemos o processo de desenvolvimento do software e as medidas existentes para medir o referido processo e produto e introduzimos a teoria dos sistemas complexos. Concluímos que o processo tem características de sistema complexo e propomos que seja medido como tal. Seguidamente, estudamos a estrutura do produto e a dinâmica do seu. processo de desenvolvimento. Apresentamos um estudo experimental sobre algoritmos codificados em C, que usamos para validar hipóteses sobre a complexidade da estrutura do produto. Propomos a correlação de gama longa como medida da complexidade da estrutura. Estendemos essa medida a uma amostra codificada em Java. Concluímos, evidenciando as limitações e as potencialidades dessa medida e a sua aplicação em Engenharia de Software.